1. Adhesives from renewable resources :
پدیدآورنده: Richard W. Hemingway, editor, Anthony H. Conner, editor, Susan J. Branham, associate editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Adhesives, Congresses.,Renewable natural resources, Congresses.
رده :
TP967
.
A5345
1989
2. Hilbert's Program :
پدیدآورنده: by Michael Detlefsen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
3. Hilbert's program : an essay on mathematical instrumentalism
پدیدآورنده: Michael Detlefsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy,، Hilbert, David, 2681-3491
رده :
QA
9
.
2
.
D48
4. Logic From A to z
پدیدآورنده: Detlefsen, Michael
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
9
.
D4
L6
1999
5. Logic from A to Z
پدیدآورنده: Detlefsen, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Philosophy -- Encyclopedias ، Mathematics,Encyclopedias ، Logic, Symbolic and mathematical
رده :
QA
9
.
D474
1999
6. Logic from A to Z
پدیدآورنده: / Michael Detlefsen, David Charles McCarty, John B. Bacon
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic -- Dictionaries
رده :
QA9
.
D47
1999
R
7. Logic from A to Z
پدیدآورنده: Michael Detlefsen, David Charles McCarty, John B. Bacon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Dictionaries ، Logic
رده :
QA
9
.
D45L6
8. Logic from A to Z
پدیدآورنده: Detlefsen, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Dictionaries ، Logic
رده :
QA
9
.
D47
1999
9. Logic from A to Z
پدیدآورنده: / Michael Detlefsen, David Charles McCarty, John B. Bacon
کتابخانه: کتابخانة پژوهشکده تاریخ علم (دانشگاه تهران) (تهران)
موضوع: Logic--Dictionaries
رده :
QA
9
.
D47
10. Logic from A to Z
پدیدآورنده: Detlefsen, Michael, 8491-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Dictionaries ، Logic
رده :
QA
9
.
D4L6
11. Login from A to Z
پدیدآورنده: / Michael Detlefsen, David Charles McCarty, John B. Bacon
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Logic -- Dictionaries
رده :
QA
9
.
D47
1999
R
12. Proof and knowledge in mathematics
پدیدآورنده: edited by Michael Detelfsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
P766
13. Proof, logic, and formalizatio
پدیدآورنده: / edited by Michael Detlefsen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
P77
,
1991
,
WEB
14. Proof, logic, and formalization
پدیدآورنده: / edited by Michael Detlefsen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع:
رده :
E-BOOK
15. Proof, logic, and formalization
پدیدآورنده: / edited by Michael Detlefsen
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P77
1991
16. Proof, logic and formalization
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA
,
9
.
54
,.
P77
,
1992
17. Proof, logic, and formalization
پدیدآورنده: edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
18. Proof, logic, and formalization
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Philosophie ; Preuve, Th?orie de la ; -Proof theory ; Logic, Symbolic and mathematical ; Logique symbolique et math?matique ; Math?matiques
19. Proof, logic, and formalization
پدیدآورنده: edited by Michael Detlefsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
